English technique for demonstrating theorems: תרגום לשפות אחרות